Novel Strategy Generating Variable-Length State Machine Test Paths

Finite State Machine is a popular modeling notation for various systems, especially software and electronic. Test paths (TPs) can be automatically generated from the system model to test such systems using suitable algorithm. This paper presents strategy that generates TPs allows start end only in defined states of finite state machine. The also simultaneously supports generating length given range. For this purpose, alternative models, coverage criteria, set algorithms are developed. compared with best based on reduction by established N-switch approach mix 171 industrial artificially problem instances. proposed outperforms variant smaller number TP steps. extent varies used criterion preferred range none two half fold difference. Moreover, technique detected up 30% more simple artificial defects inserted into experimental SUT models per one step than technique. well applicable situations where possible starts ends machine needs reflected and, concurrently, has